<?
	$files = array("subscribed.png", "subthread.png", "subthread-open.png", "spacer.png");
	print "\$images = array();\n";
	foreach($files as $file)
	{
		$data = file_get_contents($file);
		$data = base64_encode($data);
		print "\$images['$file'] = \"$data\";\n";
	}
?>
